Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0
نویسندگان
چکیده
In this paper, we propose to relate model-based adaptation approaches with the Windows Workflow Foundation (WF) implementation platform, through a simple case study. We successively introduce a client/server system with mismatching components implemented in WF, our formal approach to work mismatch cases out, and the resulting WF adaptor. We end with some conclusions and a list of open issues.
منابع مشابه
Preface of the Workshop on Component - Oriented Programming ( WCOP ) 2007
In this paper, we propose to relate model-based adaptation approaches with the Windows Workflow Foundation (WF) implementation platform, through a simple case study. We successively introduce a client/server system with mismatching components implemented in WF, our formal approach to work mismatch cases out, and the resulting WF adaptor. We end with some conclusions and a list of open issues.
متن کاملA Model-Based Approach to the Verification and Adaptation of WF/.NET Components
This paper presents an approach which supports verification and model-based adaptation of software components and services implemented using Windows Workflow Foundation (WF). First, we propose an abstract description of WF workflows, and we formalise the extraction of Labelled Transition Systems from these workflows. Next, verification and adaptation are applied using respectively model-checkin...
متن کاملA Model for Developing the Best Strategy Combination Based on Balanced Scorecard, Fuzzy Net Present Value and Game Theory
Increasing competition has caused that organizations using evaluation, control and performance improvement try to maintain their supremacy in global markets. Balanced Scorecard model is one of the ways that can help organizations achieve this goal. In this study, the limitations of selecting performance criteria and executive strategies in balanced scorecard are discussed and two tools of curre...
متن کاملWF-Net Based Modeling and Soundness Verification of Interworkflows
This paper deals with WF-net based modeling and verification of interorganizational workflows (interworkflows for short) based on the protocol of WfMC. In the protocol, there are three patterns of interoperability: Chained, Nested, and Parallel synchronized; and an interworkflow is constructed by using those interoperability patterns. We first give a WF-net based modeling method. In this modeli...
متن کاملThe Application of Roy’s Adaptation Model in a Patient with Obsessive-Compulsive Disorder: A Case Study.
Introduction: The treatment process of hospitalized patients with obsessive-compulsive disorder is less studied. However, because of the complex nature of the disease, these patients require a comprehensive nursing care plan. Since nursing process based on Roy’s adaptation model is widely used to solve problems caused by chronic diseases, this study aimed to implement this model in a patient wi...
متن کامل